منابع مشابه
Informatics 10 Years Back , 10 Years Ahead
Interpretation is a theory of approximation of the be— havior of dynamic discrete systems such as the formal seman tics ofprograms. Since such behaviors can be characterized by fixpoints, the theory essentially provides constructive and ef— fective methods for fixpoint approximation and checking by abstraction. Non—conventionalapplications of abstract interpretation in— clude the design of hie...
متن کامل10 years of illusions.
A decade ago, S. Aglioti, J. F. X. DeSouza, and M. A. Goodale (1995) published an experiment that has had a big influence on the way that visual information is thought to control human behavior. Their findings have often been simplified as suggesting that action is immune to perceptual illusions. The current authors critically analyze the 4 steps involved in this simplification and argue that r...
متن کاملWill Mongolia’s Herders Disappear within 10 Years?
Introduction The challenges related to the preservation of Mongolia’s pastureland, its quality and condition are key concerns for the livestock sector. However, scientists, researchers and government agencies tend to focus solely on rangeland ecology and livestock. All too often, herders are overlooked and omitted from the discourse. This is the main reason I want to talk about people of the M...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Maritime Economics & Logistics
سال: 2008
ISSN: 1479-2931,1479-294X
DOI: 10.1057/palgrave.mel.9100199